From: kfraser@localhost.localdomain Date: Tue, 25 Jul 2006 10:19:48 +0000 (+0100) Subject: Fix 'make clean' when ioemu configuration failed. X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~15786^2~16^2~9 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=4be760385586732b6819c6814940768cd196981b;p=xen.git Fix 'make clean' when ioemu configuration failed. Signed-off-by: Keir Fraser --- diff --git a/tools/Makefile b/tools/Makefile index 41951d3fca..2a66e89c27 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -61,10 +61,12 @@ check_clean: .PHONY: ioemu ioemuinstall ioemuclean ifdef CONFIG_IOEMU export IOEMU_DIR ?= ioemu -ioemu ioemuinstall ioemuclean: +ioemu ioemuinstall: [ -f $(IOEMU_DIR)/config-host.h ] || \ (cd $(IOEMU_DIR) && sh configure --prefix=/usr) $(MAKE) -C $(IOEMU_DIR) $(patsubst ioemu%,%,$@) +ioemuclean: + [ ! -f $(IOEMU_DIR)/config-host.h ] || $(MAKE) -C $(IOEMU_DIR) clean else ioemu ioemuinstall ioemuclean: endif